<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>
<head>
 <title>Function Redirect</title>
 <script language="JavaScript" type="text/javascript">
     function loadPage()
     {
         if (location.hash.length > 0) {
             funcname = location.hash.substr(1);
             funcpage = "function." + funcname.replace(/_/g, "-") + ".html";
             path = location.href.substring(0, location.href.lastIndexOf("/"));
             location.replace(path + '/' + funcpage);
         }
     }
 </script>
</head>
<body onload="loadPage();">
</body>
</html>
